1. .....................
پدیدآورنده : ]edited by Jerome Fox[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
2. <A> Half-Century of Automata Theory
پدیدآورنده : \ editors, A. Salomaa, D. Wood, S. Yu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra,جبر, -- Congresses, -- کنگره‌ها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
3. A text book of Theory of Machines
پدیدآورنده : R.K Bansal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Machine theory, Congresses
رده :
621
,.
8
,
B36
,
2002
4. Abstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگره‌ها,نظریه ماشین -- کنگره‌ها,فراگیری ماشینی
رده :
E-Book
,
5. Abstract state machines 2003 :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ;
6. Abstract state machines :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ;
7. Abstract state machines, B and Z
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
8. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
پدیدآورنده : Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
9. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده : Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
10. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
11. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
12. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده : Yuri Gurevich...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
13. Advances in Petri Nets 1985
پدیدآورنده : edited by G. Rozenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
222
14. Advances in Petri Nets 1987
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
266
15. Advances in Petri Nets 1989
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
424
16. Advances in Petri Nets, 1991
پدیدآورنده : G. Rozenberg (Ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Machine theory -- Congresses.,Petri nets -- Congresses.,Pétri, Réseaux de -- Congrès.
17. Advances in Petri Nets 1993
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
674
18. Advances in Petri Nets 1984
پدیدآورنده : edited by G. Rozenberg with the cooperation of H. Genrich Roucairol
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
188
19. Advances in Petri Nets 1991
پدیدآورنده : G. Rozenberg )ed(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
524
20. Advances in Petri Nets 1988
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
340
